Dans une catégorie cartésienne, la notion de morphisme entre morphismes n`a pas encore de sens. C`est pourquoi l`on définit l`exponentiation, c`est-à-dire l`objet BA qui représente l`« ensemble » des morphismes de A dans B. Munie de cette propriété de clôture qu`est l`exponentiation, un...